Turing jumps and Post observes The Turing jump interpretation of transfinite provability logic Hyper-arithmetic reflection Turing jumps again Joost J. Joosten

Source URL: wrm17.mi.ras.ru

S E C U R I T Y- A S - A - S E R V I C E O V E R V I E W : ® ALERT LOGIC PARTNER PROGRAM Today, “business as usual” means “the marketplace continues to evolve.” And to ensure success, companies of all

Source URL: www.alertlogic.com

Temporal Logic Made Practical Cindy Eisner and Dana Fisman Abstract In the late seventies, Pnueli suggested that functional properties of reactive systems be formally expressed in temporal logic. In order that model chec

Source URL: www.cis.upenn.edu

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits

Source URL: chargueraud.org

• Software engineering
• Computer programming
• Computing
• Functional languages
• Data types
• Type theory
• Logic in computer science
• Automated theorem proving
• OCaml
• Coq
• Disjoint-set data structure
• Proof assistant

Do as I Say, Not as I Do, or, Conformity in Scientific Networks James Owen Weatherall, Cailin O’Connor Department of Logic and Philosophy of Science University of California, Irvine

Source URL: cailinoconnor.com

Normative Reasoning and Deontic Logics [@RUB – SS2015] Christian Straßer Institute for Philosophy II, Ruhr-University Bochum Centre for Logic and Philosophy of Science Ghent University, Belgium

Source URL: homepages.ruhr-uni-bochum.de

Linkless and flat embeddings in the 3-space Ken-ichi Kawarabayashi∗ Stephan Kreutzer† Bojan Mohar‡

Source URL: logic.las.tu-berlin.de

Independence and Large Cardinals Peter Koellner April 16, 2010 The independence results in arithmetic and set theory led to a proliferation of mathematical systems. One very general way to investigate the space of possib

Source URL: logic.harvard.edu

Logic and Logical PhilosophyDOI: LLPPublished online: July 26, 2017 Jacky Visser, Katarzyna Budzynska, and Chris Reed

Source URL: www.arg.dundee.ac.uk

Verificationism and classical realizability Abstract This paper investigates the question of whether Krivine’s classical realizability can provide a verificationist interpretation of classical logic. We argue that thi

Source URL: www.irif.fr